Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
221	ESAIM: PROCEEDINGS, October 2007, Vol.20, 53-62 Mohammed-Najib Benbourhim, Patrick Chenin, Abdelhak Hassouni & Jean-Baptiste Hiriart-Urruty, Editors EXISTENCE OF NONTRIVIAL SOLUTIONS FOR QUASI-LINEAR RESONANT PROBLEMS Add to Reading List Source URL: www.esaim-proc.org Language: English Mathematical analysis Mathematics Operator theory Partial differential equations Complex analysis Riemann surfaces Constructible universe Differential forms on a Riemann surface Linear temporal logic
222	Algorithms for MDC-Based Multi-locus Phylogeny Inference Yun Yu1 , Tandy Warnow2 , and Luay Nakhleh1 1 Dept. of Computer Science, Rice University, 6100 Main Street, Houston, TX 77005, USA Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2011-03-30 11:33:45 Binary trees Phylogenetics Knowledge representation Mathematical logic Data types Phylogenetic tree Tree T-tree Computing
223	Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-03-16 05:12:39 Mathematical logic Logic Theoretical computer science Automated theorem proving Formal methods Logic in computer science Electronic design automation Craig interpolation Interpolation Satisfiability modulo theories Unit propagation Resolution
224	Motivation The technique of forcing Cohen forcing Lebesgue measure Forcing: How to prove unprovability I Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2015-11-11 09:54:27 Mathematical logic Mathematics Forcing Logic Cardinal numbers Infinity ZermeloFraenkel set theory Continuum hypothesis Aleph number Lebesgue measure Constructible universe Ordinal number
225	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
226	spcl.inf.ethz.ch @spcl_eth TORSTEN HOEFLER Research Topics in Software Engineering Add to Reading List Source URL: spcl.inf.ethz.ch Language: English - Date: 2015-02-17 09:11:38 Linguistics Algorithm Mathematical logic Theoretical computer science Reading Parallel computing Book Language Science
227	Ramsey Classes by Partite Construction I Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-07-24 03:58:18 Mathematics Model theory Algebra Mathematical logic Ramsey theory Ramsey class Age Structure FO Semigroup Amalgamation property Isomorphism
228	Universal Multiple-Octet Coded Character Set UCS ISO/IEC JTC1/SC2/WG2 IRG N 1100 Date: Source: Title: Add to Reading List Source URL: appsrv.cse.cuhk.edu.hk Language: English - Date: 2004-12-16 01:20:12 Computing Theoretical computer science Unicode Character sets Universal Coded Character Set Mathematical logic Glyph Unification Ext JS Attribute
229	at e d Luis Ceze * Easy to ed Add to Reading List Source URL: synapse.uwplse.org Language: English - Date: 2016-01-19 16:03:46 Mathematical optimization Operations research Symbol Candidate solution Model theory Algorithm Logic Mathematics Abstraction
230	Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since Eus Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:24 Mathematical logic Mathematics Set theory Category theory Wellfoundedness Constructible universe Topos Universal property Ordinal number Sheaf Mahlo cardinal Symbol

UPDATE